Nuprl Definition : decision
11,40
postcript
pdf
decision == top + top
latex
Definitions
left
+
right
,
top
FDL editor aliases
decision
origin